{{tag>programmation BROUILLON}}


====== Prolog ======

Prolog est l’un des principaux langages de programmation logique.
Pour plus d'informations,  allez sur [[http://fr.wikipedia.org/wiki/Prolog|Wikipedia]].

Il existe plusieurs interpréteurs de Prolog sur Linux.

<note important>Attention! Des différences d'interprétation du code Prolog peuvent exister d'un interpréteur à l'autre. C'est le cas par exemple entre SWI-Prolog et Sicstus Prolog lors de l'utilisation de la programmation logique par contrainte.</note>






===== SWI-Prolog =====

C'est l'un des interpréteurs les plus utilisés sous Linux. Il est développé par l'Université d'Amsterdam. [[http://www.swi-prolog.org/|Site officiel]]

Capacités : il possède un débuggeur graphique ainsi que plusieurs solveurs de contraintes.

==== Installation ====

Il faut juste [[:tutoriel:comment_installer_un_paquet|installez le paquet]] [[apt://swi-prolog|swi-prolog]] :
<code>sudo apt-get install swi-prolog</code>

Utiliser maintenant la commande swiprolog pour lancer l'interpreteur.
<code>prolog</code>


==== Utilisation avec Emacs ====

Il est possible d'installer la coloration syntaxique et l'interpreteur dans [[Emacs]].
Commencez d'abord par installer le paquet [[apt://prolog-el|prolog-el]] :
<code>sudo apt-get install prolog-el</code>

Ensuite ouvrez votre fichier .emacs :
<code>gedit ~/.emacs</code>
pour y ajouter les lignes suivante :
<file>
;; Ajout du mode Prolog
(autoload 'run-prolog "prolog" "Start a Prolog sub-process." t)
(autoload 'prolog-mode "prolog" "Major mode for editing Prolog programs." t)
(autoload 'mercury-mode "prolog" "Major mode for editing Mercury programs." t)
(setq prolog-system 'swi)
(setq auto-mode-alist (append '(("\\.pl$" . prolog-mode)
                            ("\\.m$" . mercury-mode))
                           auto-mode-alist))
</file>

Voila, l'interpreteur est installé. Maintenant, pour l'utiliser, ouvrez un fichier avec l'extension **.pl**, et tapez votre programme Prolog dedans. Pour l'interpreter, allez dans le menu **Prolog** et cliquez sur **Consul file**. Une invite apparait alors en dessous, dans laquelle vous pouvez interroger votre programme Prolog.



===== GNU Prolog =====

Un autre interpreteur similaire a SWI-Prolog. Celui-ci est développé par l'INRIA. [[http://www.gprolog.org/|Site officiel]]

Capacités : Propose un solveur de contraintes sur domaine fini.


==== Installation ====

Cela se passe par l'installation du paquet [[apt://gprolog|gprolog]] :
<code>sudo apt-get install gprolog</code>


Utiliser maintenant la commande gprolog pour lancer l'interpréteur.
<code>gprolog</code>

===== Sisctus Prolog =====

Sicstus Prolog. Cet interpréteur n'est pas libre, mais peut fonctionner sous Linux. [[http://www.sics.se/sicstus/|Site officiel]]

FIXME
